Książki autorstwa Tobias Nipkow

Znaleziono 1 – 11 z 11 pozycji

1. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2014

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy do 4 dni

   Język: Angielski

   Oprawa: Twarda

   338.26 zł

   Rabat 0 %

   Oszczędzasz 0.06 zł

   Kup książkę
2. 

   Isabelle

   Lawrence C. Paulson, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   288.85 zł

   Kup książkę
3. 

   Concrete Semantics

   Tobias Nipkow, Gerwin Klein | Springer International Publishing AG, 2016

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   288.85 zł

   Kup książkę
4. 
   Zapowiedź

   Term Rewriting and All That

   Tobias Nipkow | Cambridge University Press, 1998

   
   

   Dodruk - Termin nieznany

   Język: Angielski

   Oprawa: Twarda

   316.18 zł

   Kup książkę
5. 

   Isabelle/HOL

   Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   314.46 zł

   Kup książkę
6. 

   Automated Reasoning

   Rajeev Gore, Alexander Leitsch, Tobias Nipkow | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   569.25 zł

   Kup książkę
7. 

   Theorem Proving in Higher Order Logics

   Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   288.85 zł

   Kup książkę
8. 

   Rewriting Techniques and Applications

   Tobias Nipkow | Springer, Berlin, 1998

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   288.85 zł

   Kup książkę
9. 

   FM 2006: Formal Methods

   Jayadev Misra, Tobias Nipkow, Emil Sekerinski | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

   Język: Angielski

   Oprawa: Miękka

   569.25 zł

   Kup książkę
10. 

    Higher-Order Algebra, Logic, and Term Rewriting

    Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow | Springer, Berlin, 1994

    
    

    Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

    Język: Angielski

    Oprawa: Miękka

    288.85 zł

    Kup książkę
11. 

    Types for Proofs and Programs

    Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

    
    

    Dostępna u dostawcy w małych ilościach - Wysyłamy za 12 - 15 dni

    Język: Angielski

    Oprawa: Miękka

    288.85 zł

    Kup książkę

W szczegółach książki sprawdzisz, kiedy ją dostaniesz. Zobacz więcej